Package-level declarations

Types

Link copied to clipboard
data class AbstractionItem(val text: String, val confidence: <Error class: unknown class>, val reasoning: String, val sourceIndices: List<Int>)
Link copied to clipboard
data class AbstractionResponse(val abstractions: List<AbstractionItem> = emptyList())

Response structure for abstraction.

Link copied to clipboard
data class LlmPropositionAbstractor(llmOptions: <Error class: unknown class>, ai: <Error class: unknown class>) : PropositionAbstractor

LLM-based implementation of PropositionAbstractor.

Link copied to clipboard

Generates higher-level abstract propositions from a group of related propositions.